大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Mathematical Software Symposium 的图书(共4258本)

Expounding the Mathematical Seed, Volume 1: The Translation [electronic resource] : A Translation of Bh膩skara I on the Mathematical Chapter of the 膧ryabhat墨ya

0
索取号：
作者：Keller、 Agathe.、SpringerLink (Online service)、
出版社：Basel : Birkh盲user Basel, 2006.

Introduction to Mathematical Systems Theory [electronic resource] : Linear Systems, Identification and Control

0
索取号：
作者：Heij、 Christiaan.、Ran、 Andr茅.、Schagen、 Freek.、SpringerLink (Online service)、
出版社：Basel : Birkh盲user Basel, 2007.

Software Agent-Based Applications, Platforms and Development Kits [electronic resource]

0
索取号：
作者：Unland、 Rainer.、Calisti、 Monique.、Klusch、 Matthias.、SpringerLink (Online service)、
出版社：Basel : Birkh盲user Basel, 2005.

Trends in Partial Differential Equations of Mathematical Physics [electronic resource]

0
索取号：
作者：Rodrigues、 Jos茅 Francisco.、Seregin、 Gregory.、Urbano、 Jos茅 Miguel.、SpringerLink (Online service)、
出版社：Basel : Birkh盲user Basel, 2005.

ROMANSY 18 Robot Design, Dynamics and Control [electronic resource] : Proceedings of The Eighteenth CISM-IFToMM Symposium

0
索取号：
作者：Parenti Castelli、 Vincenzo.、Schiehlen、 Werner.、SpringerLink (Online service)、
出版社：Vienna : Springer Vienna, 2010.

SynDEVS Co-Design Flow [electronic resource] : A Hardware / Software Co-Design Flow Based on the Discrete Event System Specification Model of Computation

0
索取号：
作者：Molter、 H. Gregor.、SpringerLink (Online service)、
出版社：Wiesbaden : Springer Fachmedien Wiesbaden : Imprint: Springer Vieweg, 2012.

Tools for Practical Software Verification [electronic resource] : LASER, International Summer School 2011, Elba Island, Italy, Revised Tutorial Lectures

0
索取号：
作者：Meyer、 Bertrand.、Nordio、 Martin.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Formal Aspects of Component Software [electronic resource] : 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers

0
索取号：
作者：Arbab、 Farhad.、脰lveczky、 Peter Csaba.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

AI Approaches to the Complexity of Legal Systems. Models and Ethical Challenges for Legal Systems, Legal Language and Legal Ontologies, Argumentation and Software Agents [electronic resource] : International Workshop AICOL-III, Held as Part of the 25th IVR Congress, Frankfurt am Main, Germany, August 15-16, 2011. Revised Selected Papers

0
索取号：
作者：Palmirani、 Monica.、Pagallo、 Ugo.、Casanovas、 Pompeu.、Sartor、 Giovanni.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Quantum Interaction [electronic resource] : 6th International Symposium, QI 2012, Paris, France, June 27-29, 2012, Revised Selected Papers

0
索取号：
作者：Busemeyer、 Jerome R.、Dubois、 Fran莽ois.、Lambert-Mogiliansky、 Ariane.、Melucci、 Massimo.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Transactions on Aspect-Oriented Software Development IX [electronic resource]

0
索取号：
作者：Leavens、 Gary T.、Chiba、 Shigeru.、Haupt、 Michael.、Ostermann、 Klaus.、Wohlstadter、 Eric.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Cyberspace Safety and Security [electronic resource] : 4th International Symposium, CSS 2012, Melbourne, Australia, December 12-13, 2012. Proceedings

0
索取号：
作者：Xiang、 Yang.、Lopez、 Javier.、Kuo、 C.-C. Jay.、Zhou、 Wanlei.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Computer Applications for Software Engineering, Disaster Recovery, and Business Continuity [electronic resource] : International Conferences, ASEA and DRBC 2012, Held in Conjunction with GST 2012, Jeju Island, Korea, November 28-December 2, 2012. Proceedings

0
索取号：
作者：Kim、 Tai-hoon.、Ramos、 Carlos.、Kim、 Haeng-kon.、Kiumi、 Akingbehin.、Mohammed、 Sabah.、艢l臋zak、 Dominik.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Algorithms and Computation [electronic resource] : 23rd International Symposium, ISAAC 2012, Taipei, Taiwan, December 19-21, 2012. Proceedings

0
索取号：
作者：Chao、 Kun-Mao.、Hsu、 Tsan-sheng.、Lee、 Der-Tsai.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Programming Languages and Systems [electronic resource] : 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012. Proceedings

0
索取号：
作者：Jhala、 Ranjit.、Igarashi、 Atsushi.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Testing Software and Systems [electronic resource] : 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012. Proceedings

0
索取号：
作者：Nielsen、 Brian.、Weise、 Carsten.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.